Jayaraj Poroor: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[IEEE 2017 International Conference on Wireless Communications, Signal Processing and Networking (WiSPNET) - Chennai, India (2017.3.22-2017.3.24)] 2017 International Conference on Wireless Communications, Signal Processing and Networking (WiSPNET) - Architectural design for a secure Linux operating system

Narayanan, Hari, Radhakrishnan, Vivek, Shiju-Sathyadevan,, Poroor, Jayaraj

Year:

2017

Language:

english

File:

PDF, 337 KB

english, 2017

2

[IEEE 2018 International Conference on Embedded Software (EMSOFT) - Turin (2018.9.30-2018.10.5)] 2018 International Conference on Embedded Software (EMSOFT) - Work-in-Progress: VerticalThings - A Language-Based Microkernel for Constrained IoT Devicer

Poroor, Jayaraj

Year:

2018

Language:

english

File:

PDF, 537 KB

english, 2018

3

Verifying security properties of internet protocol stacks: The split verification approach

Jayaraj Poroor, Bharat Jayaraman

Journal:

Journal of Systems Architecture

Year:

2011

Language:

english

File:

PDF, 1.11 MB

english, 2011

4

C2L:A Formal Policy Language for Secure Cloud Conﬁgurations

Poroor, Jayaraj, Jayaraman, Bharat

Journal:

Procedia Computer Science

Year:

2012

Language:

english

File:

PDF, 233 KB

english, 2012

5

Modeling mobile stateful channels in Z

Poroor, Jayaraj, Jayaraman, Bharat

Journal:

Science of Computer Programming

Year:

2013

Language:

english

File:

PDF, 438 KB

english, 2013

6

[IEEE 2009 3rd International Conference on Internet Multimedia Services Architecture and Application (IMSAA) - Bangalore, India (2009.12.9-2009.12.11)] 2009 IEEE International Conference on Internet Multimedia Services Architecture and Applications (IMSAA) - SmartWhisper: Automated collaborative authentication with minimal human intervention in secure wireless enterprise 802.11 networks

Poroor, Jayaraj, Dhar, Amit

Year:

2009

Language:

english

File:

PDF, 5.80 MB

english, 2009

7

[IEEE 2008 2nd International Symposium on Advanced Networks and Telecommunication Systems (ANTS) - Mumbai, India (2008.12.15-2008.12.17)] 2008 2nd International Symposium on Advanced Networks and Telecommunication Systems - Fast dual-radio cross-layer handoffs in multi-hop infrastructure-mode 802.11 Wireless Networks for in-vehicle multimedia infotainment

Poroor, Jayaraj, Karunagaran, Sriram, Sundararajan, Sudharsan, Pillai, Ranjith

Year:

2008

Language:

english

File:

PDF, 185 KB

english, 2008

8

[IEEE 2009 5th International Conference on Testbeds and Research Infrastructures for the Development of Networks & Communities and Workshops - Washington, DC, USA (2009.04.6-2009.04.8)] 2009 5th International Conference on Testbeds and Research Infrastructures for the Development of Networks & Communities and Workshops - Mesh-tree topology for vehicular networks

Karunagaran, Sriram, Sundararajan, Sudharsan, Poroor, Jayaraj, Dhar, Amit, Pillai, Ranjith

Year:

2009

Language:

english

File:

PDF, 1.80 MB

english, 2009

9

[IEEE 2010 International Conference on Advances in Computer Engineering (ACE) - Bangalore, Karnataka, India (2010.06.20-2010.06.21)] 2010 International Conference on Advances in Computer Engineering - JPermit: Usable and Secure Registration of Guest-Phones into Enterprise VoIP Network

Lakshmi, R. Vidya, Krishnan, Divya, S., Parvathy, K., Vishnudatha, Poroor, Jayaraj, Dhar, Amit, Vidyapeetham, Amrita Vishwa

Year:

2010

Language:

english

File:

PDF, 2.58 MB

english, 2010

10

[IEEE 2014 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) - Berlin, Germany (2014.4.15-2014.4.17)] 2014 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS) - MAESTRO: A time-driven embedded testbed Architecture with Event-driven Synchronization

Karunagaran, Sriram, Sahoo, Karuna P., Poroor, Jayaraj, Fujita, Masahiro

Year:

2014

Language:

english

File:

PDF, 6.33 MB

english, 2014

11

[ACM Press the First International Conference - Kollam, India (2012.08.17-2012.08.19)] Proceedings of the First International Conference on Security of Internet of Things - SecurIT '12 - Formal analysis of event-driven cyber physical systems

Poroor, Jayaraj, Jayaraman, Bharat

Year:

2012

Language:

english

File:

PDF, 741 KB

english, 2012

12

[IEEE 2017 International Conference on Technological Advancements in Power and Energy (TAP Energy) - Kollam, India (2017.12.21-2017.12.23)] 2017 International Conference on Technological Advancements in Power and Energy ( TAP Energy) - The energy computer: A novel Internet-of-Things (IoT) device for improved energy productivity

Poroor, Jayaraj

Year:

2017

Language:

english

File:

PDF, 577 KB

english, 2017

13

[IEEE 2019 9th International Symposium on Embedded Computing and System Design (ISED) - Kollam, India (2019.12.13-2019.12.14)] 2019 9th International Symposium on Embedded Computing and System Design (ISED) - Low-level strongly typed dataframes for machine learning and statistical computing in resource-constrained devices

Poroor, Jayaraj

Year:

2019

File:

PDF, 358 KB

2019

14

Grounded Idea Generation: An Analysis Framework for Project-Based Courses

Menon, Maya, Poroor, Jayaraj

Journal:

Procedia Computer Science

Year:

2020

File:

PDF, 704 KB

2020